Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
181	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
182	Algorithms for Regular Solutions of Higher-Order Linear Differential Systems Carole El Bacha (joint work with M. Barkatou and T. Cluzeau) University of Limoges ; CNRS ; XLIM ; UMR 6172 Add to Reading List Source URL: issac2009.kias.re.kr Language: English - Date: 2009-07-30 00:31:45 Matrix theory Linear algebra Algebra Eigenvalues and eigenvectors Singular value decomposition Matrix Polynomial Linear differential equation
183	Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-28 12:04:25 Model theory Interpretation First-order logic Symbol Structure operator Principia Mathematica
184	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
185	FallODE (Math 376) Week 1: Introduction, syllabus. Linear 1st order ODEs. Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2008-12-09 22:13:51 Linear algebra Matrix theory Ordinary differential equations Eigenvalues and eigenvectors Singular value decomposition Wronskian
186	SIAM J. MATRIX ANAL. APPL. Vol. 27, No. 1, pp. 61–71 c 2005 Society for Industrial and Applied Mathematics Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-09-11 17:01:53 Matrices Matrix theory Linear algebra Mathematical physics Order theory Hermitian matrix Eigenvalues and eigenvectors Matrix Symmetric matrix SchurHorn theorem Tridiagonal matrix Orthogonal matrix
187	Unicity of Constant Higher Order Mean Curvature Spacelike Hypersurfaces in General Robertson-Walker Spacetimes Colares, Antonio Gervasio Universidade Federal do Cear´a, Fortaleza-CE, Brasil Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:01:14 Curvature Riemannian geometry Differential geometry of surfaces Theory of relativity Differential geometry Hypersphere Hypersurface Spacetime Mean curvature Sectional curvature Constant curvature
188	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic
189	Linear Algebra 1. A, B are square matrices with A + B = AB. Show that AB = BA . Proof : Let n = order of A. A + B = AB · · · · · · (i) Add to Reading List Source URL: www.math.ncu.edu.tw Language: English - Date: 2007-11-05 20:14:26 Algebra Linear algebra Matrix theory Determinants Vehicle registration plates of the Philippines
190	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning

UPDATE